T ← PARTITION PARTN SPLICE (PARTITION PARTN SPLICE) ← (LAMBDA (N) (PARTN N 1)) (LAMBDA (BIG LITTLE) (COND ((EQ BIG LITTLE) (LIST (LIST LITTLE))) ((GREATERP (* 2 LITTLE) BIG) (APPEND (SPLICE LITTLE (PARTN (- BIG LITTLE) LITTLE)) (PARTN BIG (+ LITTLE 1)))) (T (PARTN BIG (+ LITTLE 1))))) (LAMBDA (HEAD LIST) (MAPCAR (FUNCTION (LAMBDA (ELEMENT) (CONS HEAD ELEMENT))) LIST)) (PARTITION PARTN SPLICE) ←